boundedness theorem

Translations
théorème de bornitude